Section: Application Domains
Proof-assistants
The team work on the structure of proofs also suggests ways that they could be presented to a user, edited and maintained, in particular in “proof assistants”, automated tool to assist the writing of mathematical proofs with automatic checking of their correctness.